Formal groups and the BP spectrum
نویسندگان
چکیده
منابع مشابه
?Logic and Formal Ontology: Is the Final Formal Ontology Possible
Musa Akrami AbstractMany philosophers and logicians have contemplated the relationship between ontology and logic. The author of this paper, working within a Bolzanoan-Husserlian tradition of studying both ontology and logic, considers ontology as the science of the most general features of beings and the most general relations among them. He considers logic as the science concernin...
متن کاملFormal languages and infinite groups
This article is an introduction to formal languages from the point of view of combinatorial group theory.
متن کاملFormal groups laws and genera *
The article reviews role of formal group laws in bordism theory.
متن کاملOne-dimensional Formal Groups
In this Wednesday night section for Algebraic Number Theory, we will go through basic facts about one dimensional formal groups and hopefully get to see how they might be useful and interesting. All rings are commutative with identity. The sources of this material are my notes from Elliptic Curves, a course taught by Tom Fisher at Cambridge last year, J. Silverman’s Elliptic Curves Book. A few ...
متن کاملSound Formal Verification of Linux's USB BP Keyboard Driver
Case studies on formal software verification can be divided into two categories: while (i) unsound approaches may miss errors or report false-positive alarms due to coarse abstractions, (ii) sound approaches typically do not handle certain programming constructs like concurrency and/or suffer from scalability issues. This paper presents a case study on successfully verifying the Linux USB BP ke...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Pure and Applied Algebra
سال: 1980
ISSN: 0022-4049
DOI: 10.1016/0022-4049(80)90119-x